Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
نویسندگان
چکیده
منابع مشابه
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
“A Controller Area Network (CAN bus) is a vehicle bus standard designed to allow microcontrollers and devices to communicate with each other in applications without a host computer.” 1 Robert Bosch GmbH developed it in the 80s and published the latest release in 1991 [9]. The protocol is message-based and was designed specifically for automotive applications but is now also used in other areas ...
متن کاملA Formal Specification of a CAN Bus Protocol Stack∗
“A Controller Area Network (CAN bus) is a vehicle bus standard designed to allow microcontrollers and devices to communicate with each other in applications without a host computer.” 1 Robert Bosch GmbH developed it in the 80s and published the latest release in 1991 [9]. The protocol is message-based and was designed specifically for automotive applications but is now also used in other areas ...
متن کاملFormal specification of a Web services protocol
We describe a use of formal methods to specify and check a Web Services protocol. The Web Services Atomic Transaction protocol was specified in TLA and checked with the TLC model checker. A modest effort revealed oversights that caused unanticipated behaviors of the protocol; these were corrected by clarifications and changes to the protocol.
متن کاملExterior Gateway Protocol formal specification
This RFC is the specification of the Exterior Gateway Protocol (EGP). This document updates RFCs 827 and 888. This RFC specifies a standard for the DARPA community. Interactions between gateways of different autonomous systems in the ARPA-Internet must follow this protocol.
متن کاملAn executable specification of a formal argumentation protocol
We present a specification, in the action language C+, of Brewka’s reconstruction of a theory of formal disputation originally proposed by Rescher. The focus is on the procedural aspects rather than the adequacy of this particular protocol for the conduct of debate and the resolution of disputes. The specification is structured in three separate levels, covering (i) the physical capabilities of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.244.2